翻訳と辞書 Words near each other ・ Sa (Javanese) ・ Sa (kana) ・ SA (Samurai Attack) ・ SA Airport ・ Sa Aking Mga Kabata ・ SA Ambulance Service ・ S4C2 ・ S4G reactor ・ S4M ・ S4N ・ S4W reactor ・ S5 ・ S5 (band) ・ S5 (classification) ・ S5 (file format) ・ S5 (modal logic) ・ S5 (Rhine-Main S-Bahn) ・ S5 (Rhine-Ruhr S-Bahn) ・ S5 0014+81 ・ S5 and S55 (ZVV) ・ S5 highway (Georgia) ・ S5 Shanghai–Jiading Expressway ・ S5.142 ・ S5.4 ・ S5.80 ・ S5.92 ・ S5.98M ・ S5/8 ・ S50 ・ S500 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク S5 (modal logic) ： ウィキペディア英語版 S5 (modal logic) In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book ''Symbolic Logic''. It is a normal modal logic, and one of the oldest systems of modal logic of any kind. ==Axiomatics== The following makes use of the modal operators $\backslash Box$ ("necessarily") and $\backslash Diamond$ ("possibly"). S5 is characterized by the axioms: *K: $\backslash Box(A\backslash to\; B)\backslash to(\backslash Box\; A\backslash to\backslash Box\; B)$; *T: $\backslash Box\; A\; \backslash to\; A$, and either: * 5: $\backslash Diamond\; A\backslash to\; \backslash Box\backslash Diamond\; A$; * or both of the following: : * 4: $\backslash Box\; A\backslash to\backslash Box\backslash Box\; A$, and : * B: $A\backslash to\backslash Box\backslash Diamond\; A$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「S5 (modal logic)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.